Formal Specification of the Virtual Component Interface Standard in the Unified Modeling Language
نویسندگان
چکیده
As part of our charge from the Virtual Sockets Interface Alliance we search for a notation in which standards documents can be precisely specified. We approach the specification for standard problem in the context of the Virtual Component Interface Standard. We propose six orthogonal axes of specification as guides to creating a cohesive, well-rounded requirements specification. We then specify the Virtual Component Interface Standard in the Unified Modeling Language and evaluate that specification based on our six axes.
منابع مشابه
Specifying System Behavior in UML
The purpose of the paper is to present our approach for specifying system behavior. Our approach is based on operation schemas and a system interface protocol (SIP). Operation schemas describe the functionality of system operations by preand postconditions; they are written in the Object Constraint Language (OCL), as defined by the Unified Modeling Language (UML). A SIP describes the temporal o...
متن کاملAssert, Negate and Refinement in UML-2 Interactions
The Unified Modeling Language (UML) is the industry standard for modeling. With its recent advancement to version 2.0, there have been large amounts of changes and additions. In this paper I study some new features with a view to formal specification and verification, in particular the operators neg and assert, and notions of refinement based upon them.
متن کاملCapturing Non-functional Software Requirements Using the User Requirements Notation
Non-functional requirements (NFRs) are crucial software requirements that have be specified early in the software development process while eliciting the functional software requirements (FRs) [1,2]. NFRs can be viewed as additional constraints that have to be satisfied by the functional requirements. The non-satisfaction of NFRs is one of the main reasons for the failure of software projects. ...
متن کاملAutomated Debugging in Java Using OCL and JDI
Correctness constraints provide a foundation for automated debugging within object-oriented systems. This paper discusses a new approach to incorporating correctness constraints into Java development environments. Our approach uses the Object Constraint Language (“OCL”) as a specification language and the Java Debug Interface (“JDI”) as a verification API. OCL provides a standard language for e...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001